Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.
- lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística,[1] es el estudio formal y simbólico de la lógica,…32 kB (5266 palabras) - 21:56 6 abr 2024
blocks of mathematical logic in From Frege to Gödel edited by van Heijenoort. Peirce (1867) On an improvement in Boole's calculus of logic. Hilbert (1917/1918)…27 kB (2568 palabras) - 12:21 7 feb 2024
four-valued logic". In Dunn & Eppstein, Modern uses of multiple-valued logic. Reidel: Boston. Bocheński, J.M. (1959). A précis of mathematical logic. Translated…38 kB (8727 palabras) - 01:01 15 mar 2024- ISBN 1-56881-262-0. Rautenberg, Wolfgang (2010), A Concise Introduction to Mathematical Logic (en inglés) (3ra edición), Nueva York: Springer Science+Business Media…3 kB (475 palabras) - 04:01 1 mar 2020
- 2011 .. Esta obra contiene una traducción derivada de «Independence (mathematical logic)» de Wikipedia en inglés, publicada por sus editores bajo la Licencia…3 kB (404 palabras) - 13:21 30 sep 2020
- Boole y lógica. Publicaciones U.B. Monk, J. D. (1976). Mathematical Logic. Springer-Verlag. Nidditch, P. H. (1978). El desarrollo de la lógica matemática…43 kB (4997 palabras) - 18:55 10 feb 2024
- Una lógica plurivalente o lógica polivalente es un sistema lógico que rechaza el principio del tercero excluido de las lógicas bivalentes y admite más…5 kB (689 palabras) - 00:05 2 dic 2023
Schönflies theorem in weak second-order arithmetic», Archive for Mathematical Logic 46 (5): 465-480, ISSN 0933-5846, doi:10.1007/s00153-007-0050-6, MR 2321588 …4 kB (316 palabras) - 10:27 23 ene 2024- (1986), «Probabilistic logic», Artificial Intelligence (28(1)): 71-87 . Kohlas, J., and Monney, P.A., 1995. A Mathematical Theory of Hints. An Approach…8 kB (1015 palabras) - 15:42 9 feb 2024
- of Standard First-Order Logic. University of California Press. H. D. Ebbinghaus; J. Flum; W. Thomas (1994). Mathematical Logic (en inglés) (Second Edition…12 kB (1907 palabras) - 11:24 19 abr 2024
- Lema de Lindenbaum (categoría Lógica matemática)is mathematical logic?. London-Oxford-New York: Oxford University Press. p. 16. ISBN 0-19-888087-1. Enderton, Herbert B. (2001). A mathematical introduction…2 kB (189 palabras) - 17:31 28 feb 2023
- conocido como el Logic Colloquium). Adicionalmente, la ASL organiza regularmente congresos en conjunto con la American Mathematical Society (AMS) y la…2 kB (168 palabras) - 04:36 26 abr 2024
Hugh MacColl (categoría Lógicos)long introduction to MacColl's logic and reprints of his main logical work. Kneebone, G., 2001 (1963). Mathematical Logic and the Foundations of Mathematics…5 kB (670 palabras) - 18:52 26 dic 2023- Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados (categoría Lógica matemática)Heijenoort aparece en la colección From Frege to Gödel: A source book in Mathematical Logic (van Heijenoort 1967). Una reseña de 1972 de Alonzo Church la describió…13 kB (1490 palabras) - 08:33 13 ene 2024
- Company, Ámsterdam NY, ISBN 0 7204 2103 9. Stephen C. Kleene, 1967, Mathematical Logic, Dover edición de 2002, Dover Publicastions, Inc, Mineola N.Y. ISBN…8 kB (1168 palabras) - 02:41 15 ene 2022
- Teorema de Löb (categoría Teoremas de lógica)lógica demostrativa. El teorema de Löb en PlanetMath Hinman, P. (2005). Fundamentals of Mathematical Logic. A K Peters. ISBN 1-56881-262-0. Datos: Q204884…2 kB (242 palabras) - 07:14 2 ago 2019
- En física, la lógica cuántica es el conjunto de reglas algebraicas que rigen las operaciones para combinar y los predicados para relacionar proposiciones…26 kB (1885 palabras) - 17:09 27 ene 2024
- Sistema formal (redirección desde Sistema lógico)Press (April 1, 1961) 156 pag. ISBN 069108047X S. C. Kleene, 1967. Mathematical Logic Reprinted by Dover, 2002. ISBN 0486425339 Douglas Hofstadter, 1979…9 kB (1824 palabras) - 11:25 19 abr 2024
0-7204-2103-9 M. Lerman, 1983. Degrees of unsolvability, Perspectives in Mathematical Logic, Springer-Verlag. ISBN 3-540-12155-2. Andre Nies, 2009. Computability…30 kB (4147 palabras) - 00:23 28 ene 2024
- algebra, geometry, arithmetics, North Holland 1986 A course in mathematical logic, Springer 1977[6] The provable and the unprovable (en ruso), Moscú…8 kB (692 palabras) - 19:14 15 feb 2024
- enunciado se muestra a continuación: "Any process that can be given a mathematical description (or that is scientifically describable or scientifically
- Introduction to Mathematical Logic. Geoffrey Hunter, 2003, Metalogic: An Introduction to the Metatheory of Standard First Order Logic. Herbert B. Enderton
- su edad (teniendo el 43 años). Citado en H. Eves, In Mathematical Circles (1969). Mathematical Recreations and Problems (1896), 180; De Morgan's Budget
- reportados por Russell. Cito a Bocher, en el «Bulletin of the American mathematical Society», 1904, pág. 115, Wilson, en el mismo periódico, 1904, pág. 74;
- modelado matemático, el razonamiento matemático y las relaciones entre estos. Sinónimo: lógica matemática. Wikipedia tiene un artículo sobre lógica formal.